de Morgan monoid
de Morgan monoid とは$ Dを臺集合として以下を滿たす組$ (D,\land_{:D\times D\to D},\lor_{:D\times D\to D},\neg_{:D\to D},\circ_{:D\times D\to D},e_{\in D})を言ふ 組$ (D,\circ,e)は$ eを單位として可換 monoid を成す $ x\le x\circ x.
$ x\circ y\le z\iff y\le\neg(\neg z\circ x).